Although Blockchain is still an emerging technology it has the potential to serve as a general purpose information technology platform. Already, smart contract/chaincode platforms, such as Ethereum and Hyperledger Fabric, provide support for the execution of arbitrary computations. However, the suitability of these platforms for specifying and enforcing data and service usage constraints (e.g., usage policies, regulatory obligations, societal norms) and providing guarantees with respect to conformance has yet to be determined. In order to address this gap, in this position paper we argue that symbolic artificial intelligence techniques in the form of semantic technology based policy languages and business process conformance tools and techniques, can together be used to provide guarantees with respect to the behaviour of autonomous smart contract/chaincode applications.

BlockConfess: Towards an Architecture for Blockchain Constraints and Forensics / Kirrane, S.; Di Ciccio, C.. - (2020), pp. 539-544. (Intervento presentato al convegno 3rd IEEE International Conference on Blockchain, Blockchain 2020 tenutosi a Rhodes Island, Greece) [10.1109/Blockchain50366.2020.00078].

BlockConfess: Towards an Architecture for Blockchain Constraints and Forensics

Di Ciccio C.
2020

Abstract

Although Blockchain is still an emerging technology it has the potential to serve as a general purpose information technology platform. Already, smart contract/chaincode platforms, such as Ethereum and Hyperledger Fabric, provide support for the execution of arbitrary computations. However, the suitability of these platforms for specifying and enforcing data and service usage constraints (e.g., usage policies, regulatory obligations, societal norms) and providing guarantees with respect to conformance has yet to be determined. In order to address this gap, in this position paper we argue that symbolic artificial intelligence techniques in the form of semantic technology based policy languages and business process conformance tools and techniques, can together be used to provide guarantees with respect to the behaviour of autonomous smart contract/chaincode applications.
2020
3rd IEEE International Conference on Blockchain, Blockchain 2020
Blockchain; Conformance checking; Constraints
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
BlockConfess: Towards an Architecture for Blockchain Constraints and Forensics / Kirrane, S.; Di Ciccio, C.. - (2020), pp. 539-544. (Intervento presentato al convegno 3rd IEEE International Conference on Blockchain, Blockchain 2020 tenutosi a Rhodes Island, Greece) [10.1109/Blockchain50366.2020.00078].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1522689
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact